Geometric means theorem